Finitely generated subgroups of amalgamated free products and HNN groups
نویسندگان
چکیده
منابع مشابه
Positive theories of HNN-extensions and amalgamated free products
It is shown that the positive first-order theory of an HNN-extension G = 〈H, t; tat = φ(a)(a ∈ A)〉 can be reduced to the existential firstorder theory of G provided that A and B are proper subgroups of the base group H with A∩B finite. For an amalgamated free product G = H ∗A J , we show that the positive first-order theory of G can be reduced to the existential first-order theory of G in case ...
متن کاملOn Intersections of Finitely Generated Subgroups of Free Groups
and asked if the factor 2 can be dropped. If one translates her approach (which is a slight modification of Howson's) to graph-theoretic terms, it easily shows that the answer is often "yes"in fact, for most U the answer is "yes" for all V. According to Gersten [G], the above problem has come to be known as the "Haana Neumann Conjecture." Using ideas of immersions of graphs originating from Sta...
متن کاملKnapsack in Graph Groups, HNN-Extensions and Amalgamated Products
It is shown that the knapsack problem, which was introduced by Myasnikov et al. for arbitrary finitely generated groups, can be solved in NP for graph groups. This result even holds if the group elements are represented in a compressed form by SLPs, which generalizes the classical NP-completeness result of the integer knapsack problem. We also prove general transfer results: NP-membership of th...
متن کاملTheories of HNN-Extensions and Amalgamated Products
It is shown that the existential theory of G with rational constraints, over an HNN-extension G = 〈H, t; tat = φ(a)(a ∈ A)〉 is decidable, provided that the same problem is decidable in the base group H and that A is a finite group. The positive theory of G is decidable, provided that the existential positive theory of G is decidable and that A and φ(A) are proper subgroups of the base group H w...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Australian Mathematical Society
سال: 1976
ISSN: 1446-7887,1446-8107
DOI: 10.1017/s1446788700014737